#include "config.h"
extern int dprintf (const char* str, ...);
extern int ttprintf (const char* str, ...);
#ifdef CFG_TRACE_ON
#define tprintf dprintf
#else
#define tprintf ttprintf
#endif

#ifdef CFG_TRACE_KMM
#define dtprintf dprintf
#else
#define dtprintf ttprintf
#endif